Aristote et Pascal
نویسندگان
چکیده
منابع مشابه
Triangle de Pascal , complexité et automates ∗
À quoi reconnâıt-on qu’une suite est plus ou moins “compliquée” ? Une des traductions mathématiques de ce terme vague consiste à compter les facteurs ou blocs qui apparaissent dans cette suite, (voir par exemple [2]). Il y a naturellement bien d’autres approches possibles, qui dépendent en particulier à la fois des applications qu’on a à l’esprit ... et des quantités que l’on sait calculer ou e...
متن کاملVector Pascal
Vector Pascal is a language designed to support elegant and efficient expression of algorithms using the SIMD model of computation. It imports into Pascal features derived from the functional languages APL and J, in particular the extension of all operators to work on vectors of data. The type system is extended to handle dimensional analysis. Code generation is via the ILCG system that allows ...
متن کاملPascal Matrices
Every polynomial of degree n has n roots; every continuous function on [0, 1] attains its maximum; every real symmetric matrix has a complete set of orthonormal eigenvectors. “General theorems” are a big part of the mathematics we know. We can hardly resist the urge to generalize further! Remove hypotheses, make the theorem tighter and more difficult, include more functions, move into Hilbert s...
متن کاملThe Architecture of an Implementation of Lambdaprolog: Prolog/mali Pascal Brisset Et Olivier Ridoux
Prolog is a logic programming language accepting a more general clause form than standard Prolog (namely hereditary Harrop formulas instead of Horn formulas) and using simply typed-terms as a term domain instead of rst order terms. Despite these extensions, it is still amenable to goal-directed proofs and can still be given procedural semantics. However, the execution of Prolog programs require...
متن کاملPascal user manual and report - ISO Pascal standard, 4th Edition
When writing can change your life, when writing can enrich you by offering much money, why don't you try it? Are you still very confused of where getting the ideas? Do you still have no idea with what you are going to write? Now, you will need reading. A good writer is a good reader at once. You can define how you write depending on what books to read. This pascal user manual and report iso pas...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Courrier du Centre international Blaise Pascal
سال: 2002
ISSN: 0249-6674,2493-7460
DOI: 10.4000/ccibp.533